The proper forcing axiom and the singular cardinal hypothesis
نویسنده
چکیده
We show that the Proper Forcing Axiom implies the Singular Cardinal Hypothesis. The proof uses ideas of Moore from [11] and the notion of a relativized trace function on pairs of ordinals.
منابع مشابه
Proper forcing, cardinal arithmetic, and uncountable linear orders
In this paper I will communicate some new consequences of the Proper Forcing Axiom. First, the Bounded Proper Forcing Axiom implies that there is a well ordering of R which is Σ1-definable in (H(ω2),∈). Second, the Proper Forcing Axiom implies that the class of uncountable linear orders has a five element basis. The elements are X, ω1, ω∗ 1 , C, C ∗ where X is any suborder of the reals of size ...
متن کاملUltrafilters and Large Cardinals
This paper is a survey of basic large cardinal notions, and applications of large cardinal ultrafilters in forcing. The main application presented is the consistent failure of the singular cardinals hypothesis. Other applications are mentioned that involve variants of Prikry forcing, over models of choice and models of determinacy. My talk at the Ultramath conference was about ultrafilters and ...
متن کاملΣ3-Absoluteness in Forcing Extensions
We investigate the consistency strength of the forcing axiom for Σ3 formulas, for various classes of forcings. We review that the consistency strength of Σ3-absoluteness for all set forcing or even just for ω1-preserving forcing is that of a reflecting cardinal. To get the same strength from the forcing axiom restricted to proper forcing, one can add the hypotheses that ω1 is inaccessible to re...
متن کاملOn the strength of PFA I∗†
Building on the work of Schimmerling ([11]) and Steel ([17]), we show that the failure of square principle at a singular strong limit cardinal implies that there is a non-tame mouse. This is the first step towards getting a model of ADR + “Θ is regular” from PFA via the core model induction. One of the wholly grails of inner model program has been determining the exact consistency strength of f...
متن کاملStrongly unfoldable cardinals made indestructible
Strongly Unfoldable Cardinals Made Indestructible by Thomas A. Johnstone Advisor: Joel David Hamkins I provide indestructibility results for weakly compact, indescribable and strongly unfoldable cardinals. In order to make these large cardinals indestructible, I assume the existence of a strongly unfoldable cardinal κ, which is a hypothesis consistent with V = L. The main result shows that any ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Symb. Log.
دوره 71 شماره
صفحات -
تاریخ انتشار 2006